Search results for "QAND rule"

showing 3 items of 3 documents

Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation

2013

In this paper, by adopting a coherence-based probabilistic approach to default reasoning, we focus the study on the logical operation of quasi conjunction and the Goodman-Nguyen inclusion relation for conditional events. We recall that quasi conjunction is a basic notion for defining consistency of conditional knowledge bases. By deepening some results given in a previous paper we show that, given any finite family of conditional events F and any nonempty subset S of F, the family F p-entails the quasi conjunction C(S); then, given any conditional event E|H, we analyze the equivalence between p-entailment of E|H from F and p-entailment of E|H from C(S), where S is some nonempty subset of F.…

FOS: Computer and information sciencesClass (set theory)Goodman–Nguyen’s inclusion relationQAND ruleSettore MAT/06 - Probabilita' E Statistica MatematicaComputer Science - Artificial IntelligenceMathematics - Statistics TheoryStatistics Theory (math.ST)Logical consequencegoodman-nguyen's inclusion relationTheoretical Computer ScienceArtificial IntelligenceQuasi conjunctionFOS: MathematicsEquivalence (measure theory)MathematicsEvent (probability theory)Discrete mathematicsSettore INF/01 - InformaticaApplied MathematicsProbability (math.PR)quasi conjunction; goodman-nguyen inclusion relation; qand rule; coherence; probabilistic default reasoning; p-entailment; goodman-nguyen's inclusion relationProbabilistic logicCoherence (statistics)Conjunction (grammar)Greatest elementArtificial Intelligence (cs.AI)Probabilistic default reasoninggoodman-nguyen inclusion relationp-EntailmentCoherenceSoftwareMathematics - Probability
researchProduct

Quasi conjunction and p-entailment in nonmonotonic reasoning

2010

We study, in the setting of coherence, the extension of a probability assessment defined on n conditional events to their quasi conjunction. We consider, in particular, two special cases of logical dependencies; moreover, we examine the relationship between the notion of p-entailment of Adams and the inclusion relation of Goodman and Nguyen. We also study the probabilistic semantics of the QAND rule of Dubois and Prade; then, we give a theoretical result on p-entailment.

Settore MAT/06 - Probabilita' E Statistica MatematicaProbability assessmentProbabilistic semanticsInclusion relationExtension (predicate logic)Coherence (statistics)Logical consequenceConjunction (grammar)Coherence lower/upper probability bounds quasi conjunction QAND rule p-entailmentCalculusp-entailment.; quasi conjunction; lower/upper probability bounds; qand rule; coherence; p-entailmentNon-monotonic logicAlgorithmMathematics
researchProduct

Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning

2011

We study the quasi conjunction and the Goodman & Nguyen inclusion relation for conditional events, in the setting of probabilistic default reasoning under coherence. We deepen two recent results given in (Gilio and Sanfilippo, 2010): the first result concerns p-entailment from a family F of conditional events to the quasi conjunction C(S) associated with each nonempty subset S of F; the second result, among other aspects, analyzes the equivalence between p-entailment from F and p-entailment from C(S), where S is some nonempty subset of F. We also characterize p-entailment by some alternative theorems. Finally, we deepen the connections between p-entailment and the Goodman & Nguyen inclusion…

Discrete mathematicsClass (set theory)goodman & nguyen inclusion relationSettore MAT/06 - Probabilita' E Statistica MatematicaSettore INF/01 - Informaticap-entailment.; quasi conjunction; goodman & nguyen inclusion relation; qand rule; coherence; probabilistic default reasoning; p-entailmentProbabilistic logicqand ruleprobabilistic default reasoningConsistency (knowledge bases)Coherence (philosophical gambling strategy)p-entailmentCoherence probabilistic default reasoning quasi conjunction Goodman & Nguyen inclusion relation QAND rule p-entailment.coherenceConjunction (grammar)Default reasoningquasi conjunctionGreatest elementAlgorithmEquivalence (measure theory)Mathematics
researchProduct